We introduce a formalism to deal with the microscopic modeling of vehicular traffic on a road network. Traffic on each road is unidirectional, and the dynamics of each vehicle is described by a follow-the-leader model. ...